/*
 * contextswitch.c
 *
 */


#include <ercos/syscall.h>

void CPU_Switch_Tasks(void)
{
	SYS_Schedule();
}
